(x -> x) (y -> y)