\begin{signature}\label{phase5_before_failure}
    $\phasefivebeforefailure{X}$ is a set.
\end{signature}

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