Arithmetic

• Let's make an addition function now

• It will look something like this:

 ADD = mn.(IF (IS_ZERO m) n (ADD (PRED m) (SUCC n)))

• Whoops!

• How can we use ADD in its own definition?