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