back to belief division but belief division as a union of polytopes