 To see an intuitive picture of why the Lemma on Successors gives us what we want, we may temporarily regard \(\mathit{Precedes}^{+}\) as the relation ≤. (One can prove that \(\mathit{Precedes}^{+}\) has the properties that ≤ has on the natural numbers.) Although we haven’t yet assigned any meaning to the numerals ‘1’ and ‘2’, the following intuitive sequence is driving Frege’s strategy: