The set of equations arising from \eqref{evenmore} has the two members of \eqref{evenone}, and one more for \(A\). Using these equations, in order to conclude \(A(1)\) we must already have one of \(E(y)\) or \(O(y)\) evaluating to \({\textsf{t}}\) for every number \(y\). If we carry out the construction outlined above, we won’t have this for \(E\) and \(O\) until stage \(\omega\), and so we must go one more step, to what is called \(T_{\omega+1}\), before we reach a fixed point.