test/phase5/exact-failure.tex


1
2
3
4
5
6
7
8

\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}