1 files changed, 14 insertions, 0 deletions
diff --git a/test/phase5/exact-case-failure.tex b/test/phase5/exact-case-failure.tex
new file mode 100644
index 0000000..95530d5
--- /dev/null
+++ b/test/phase5/exact-case-failure.tex
@@ -0,0 +1,14 @@
+\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}