flipped polarities for Ax>=b constraints due to change in spec