1 ORDINALSUCC(
x
)