(\x.\y.(y x) (y w))
(\x.\y.(x y) (y w))
(\x.x y)
\x.(y x)
((\y.\x.(y x) \x.(x x)) y)
(((\b.\t.\e.((b t) e) \x.\y.x) x) y)
\x.((\x.(y x) \x.(z x)) x)
(\y.(\x.\y.(x y) y) (y w))