/* computing 2 + (3 + 4) */

(lambda plus.
   plus (lambda s.lambda z. s(s z))
           (plus (lambda s.lambda z.s(s(s z)))
                 (lambda s.lambda z.s(s(s(s z))))))
(lambda m.lambda n.lambda s.lambda z. m s (n s z))
(lambda x.lambda y. y x)
(lambda x.x);