Is x y (1) y