(
λ
x
.
x
x
)
(
λ
x
.
x
x
)