succ (succ (succ zero))