 This class of functions will be denoted by \(I_{\mathbf{PR}} = \{\mathbf{0}, s, \pi^k_i\}\). Note that since \(\pi^k_i\) is a distinct function for each \(i,k \in \mathbb{N}\), \(I_{\mathbf{PR}}\) already contains infinitely many functions.