If you perform a single β-reduction on (λ
x
.λ
y
.
y
x
)(
w
z
), what do you get?
λ
y
.
y
(
w
z
)