pred(succ(succ(0)))