1 ORDINALSUCC(x)