(x y) = x y