added violates inequality method