the previously used In_smallest_orthogonal_sphere predicate was returning the opposite of what Power_side_of_bounded_power_sphere_3 returns