Redirecting to Dempster-Shafer theory