1 SUCC(x)