If x y then x