If u x y 1 xy