(x y) ( x y)