zero = lambda s.lambda z.z;
one = lambda s.lambda z.s z;
two = lambda s.lambda z.s (s z);
three = lambda s.lambda z.s (s (s z));

succ = lambda n.lambda s.lambda z.s (n s z);
plus = lambda n.lambda m.lambda s.lambda z.n s (m s z);
times = lambda n.lambda m.lambda s.lambda z.n (m s) z;

true = lambda x.lambda y.x;
false = lambda x.lambda y.y;

if = lambda p.lambda a.lambda b.p a b;

pair = lambda x.lambda y.lambda f.f x y;
fst = lambda p.p true;
snd = lambda p.p false;

pred = lambda n.fst (n (lambda p.pair (snd p) (succ (snd p))) (pair zero zero));

iszero = lambda n.n (lambda x.false) true;