 This illustrates that although \(\alpha(x,y)\), \(\delta(x)\), and \(u_1(i,x)\) are not primitive recursive, they are still effectively computable in the sense discussed in  Section 1.6.  There is thus a natural motivation for seeking to expand the definition of the class \(\mathbf{PR}\) so as to encompass such intuitively computable functions.