all working. algorithms for belief-merging will need some refinement though