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