 If we attempt to use \(\forall X\,\exists Y\,\forall x(X(x)\leftrightarrow Y(x))\) as such a \(\phi\), we just obtain the result that \(\phi\) is always true and says that the general model \((\mm,\G)\) is “full” in its own sense of “full”, not in the sense of the metatheory.