f : N -> Bool
f x y = true