(def False (lam (f t) f))
(def True (lam (f t) t))
(def Not (lam (b) (b True False)))

(Not True)

(def And (lam (a b) (a False b)))
(def Or (lam (a b) (a b True)))
(def If (lam (b x y) (b x y)))
(def Zero (lam (z s) z))
(def Succ (lam (n z s) (s n)))
(def One (Succ Zero))
(def Two (Succ One))
(def Three (Succ Two))
(def IsZero (lam (n) (n True (lam (m) False))))

(Or (IsZero One) (IsZero Two))

(IsZero Zero)