 This illustrates that if we slightly enlarge the class of initial functions, it is still possible to obtain the entire class \(\mathbf{PR}\) via a scheme of functional iteration which at first appears less general than primitive recursion. See Odifreddi (1989, ch. I.5) for an account of further improvements which can be obtained in this direction.