\begin{signature}\label{phase3_unsupported}
    Suppose $X = X$.
    Then $\phaseunsupported{X}$ is a set.
\end{signature}
