(\x . (\z . z z) x three) ((\y . y y) (\w . w))