def add(m, n): if m == 0: return n if n == 0: return m return add(m-1, succ(n))

The function add takes two arguments m and n, if m is zero it returns n and if n is zero it returns m.

If neither m nor n is zero, the function subtracts 1 from m, then adds 1 to n and then calls itself with the result.