 (\ref{fibdefn}) is thus an instance where the value of the function \(h\) at \(y\) depends on the values \(h(y-1)\) and \(h(y-2)\) of its graph (for \(y \geq 2\)). It is, of course, also possible to consider cases where \(h(y)\) depends on an arbitrary number of its preceding values \(h(0), \ldots, h(y-1)\). To this end, suppose we are given \(h(\vec{x},y)\) and then define 