backup before belief division as one polytope