implement violates_inequality?