 Another way to represent numbers in CL is to start with a different choice of terms for the numbers. Previously, \(\textsf{I}\) stood for \(1\), now we take \(\textsf{I}\) to be \(0\). The successor of a number \(n\) is \(\textsf{V} (\textsf{KI})n\), where the second occurrence of \(n\) indicates a numeral, that is, the combinator that represents \(n\). (The numeral for \(n\) is often denoted—more precisely—by an overlined or otherwise decorated \(n\). However, the double usage of \(n\) in a limited context should not cause any confusion.) In other words, the successor function is  \(\textsf{V}(\textsf{KI})\). Notice that the numbers in the present representation are terms over a more restricted combinatory base than in the former case. For example, no combinator with duplicative effect is definable from \(\{\textsf{I},\textsf{K},\textsf{V}\}\).