 Numbers can be represented in CL by terms, and one way is to choose the terms \(\textsf{KI}\), \(\textsf{I}\), \(\textsf{SBI}\), \(\textsf{SB} (\textsf{SBI}),\ldots\) for \(0\), \(1\), \(2\), \(3\), etc. The terms that represent the arithmetic operations vary, depending on which terms stand for the numbers. Note that unlike the Dedekind–Peano formalization of arithmetic, CL makes no syntactic distinction that would parallel the difference between individual constants and function symbols—in CL the only objects are terms. The above list of terms already shows the successor function, which is \(\textsf{SB}\). (\(\textsf{SB}(\textsf{KI})\) strongly equals to \(\textsf{I}\), that is, \(1\) is the successor of \(0\).)