(
\
x
.
x
x
)
\
x
.
x
x
(\x.x x) \x.x x
\x.x x
x x
x
x
\x.x x
x x
x
x
Scope of x
x
x
Scope of x
x
x
Next:
Beta