 The functionals of \(\mathbf{PR}\) are those of composition and primitive recursion. Composition takes \(j\) functions \(g_0, \ldots, g_{j-1}\) of arity \(k\) and a single function \(f\) of arity \(j\) and returns their composition—i.e., the function 