path: root/test/phase5/exact-quantified-term-valued.tex

\begin{abbreviation}\label{phase5_invalid_quantified_value}
    The phase five invalid quantified value of $A$ is every set.
\end{abbreviation}