If x y x 1 y