1 SUCC(
x
)