f x y = x