((lambda (x)
   (y (x x)))
 y)

(y (y y))

==========

((lambda (x)
   (lambda (y)
     (x y)))
 z)

(lambda (y)
  (z y))

==========

((lambda (x)
   (lambda (y)
     (x y)))
 y)

((lambda (x)
   (lambda (new)
     (x new)))
 y)

(lambda (new)
  (y new))

==========

((lambda (x)
   (x x))
 (lambda (x)
   y))

((lambda (x)
   y)
 (lambda (x)
   y))

y

==========

((lambda (x)
   (x (lambda (y)
        (y x))))
 (lambda (z)
   z))

((lambda (z)
   z)
 (lambda (y)
   (y (lambda (z)
        z))))

(lambda (y)
  (y (lambda (z)
       z)))

==========

((((lambda (y)
     (lambda (x)
       y))
   (lambda (z)
     w))
  (lambda (w)
    z))
 x)

(((lambda (x)
    (lambda (z)
      w))
  (lambda (w)
    z))
 x)

((lambda (z)
   w)
 x)

w