(x: x x) (x: x x)