def mpy(m, n): if n == 0: return 0 return add(m, mpy(m, pred(n))) print(mpy(5, 4))

This function is a multiplication function. It takes the argument m and n and recursively calls itself.
i.e. If n is zero then it returns 0. Otherwise it calls the add function and multiplies the value of m and n.