re: Dempster-Shafer...(re: Transitive