If x y 3