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)))