path: root/test/phase5/unmatched-proof.tex

\begin{proof}
    Follows.
\end{proof}