diff --git a/cheat4.tex b/cheat4.tex
index 88dc70d..252fedf 100644
--- a/cheat4.tex
+++ b/cheat4.tex
@@ -538,7 +538,7 @@ \subsection{Natural Deduction Rules}
         \end{flusheqs}
     \end{formalboxderived}
     \vfill
-    \begin{formalboxderived}{Excluded middle}
+    \begin{formalboxderived}{Law of excluded middle}
         \begin{flusheqs}
         \begin{nd}
             \open