fix  violates_inequality?