Now we finish saying how to evaluate the formula \eqref{Eexample}. First, construct the associated set of equations, \(E\). Next, construct the functional \([E]\). There is a least fixed point for \([E]\), let us say it is \(\langle\bF_1, \ldots, \bF_k\rangle\). Finally, evaluate \(\phi_0\) using \(\bF_i\) to interpret \(P_i\) for each \(i\). The resulting truth value, or undefined, is the value (denotation) associated with \eqref{Eexample}.