\begin{proposition}\label{case_failure_exact}
    Let $A$ be a set.
    $A=A$.
\end{proposition}
\begin{proof}
    \begin{byCase}
    \caseOf{$A=\emptyset$.}
        Follows.
    \caseOf{$A=\{A\}$.}
        Follows.
    \caseOf{$A=\{\emptyset\}$.}
        Follows.
    \end{byCase}
\end{proof}
