 Secondly, once the existence of any natural number n is secured, that of its successor, s(n), is secured by taking s(n) to be the number of all natural numbers from 0 to n, inclusive (Frege’s trick). 