import Logic
Succ=\n f x.(f ((n f) x))
Zero=\f x.x
One=(Succ Zero)
Two=(Succ One)
Three=(Succ Two)
Add=\n m f x.((n f) ((m f) x))
Mult=\n m f.(n (m f))
IsZero=\n x y.((n \z.y) x)
((Add Two) Three)
((Mult Two) Three)
(PrintBool (IsZero Zero))
(PrintBool (IsZero ((Add One) Two)))