diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 6780d983e132df4164e28c51f42e9ce0dd169f2c..7ab128005c70a5f9a66c7183235a011f2d7f0a44 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -604,13 +604,6 @@ Either of the form:
 	.
 \end{RuleDescription}
 
-\begin{RuleDescription}{la_totality}
-	\begin{AletheX}
-		$i$. & \ctxsep & $t_1 \leq t_2 \lor t_2 \leq t_1$ & (\currule) \\
-	\end{AletheX}
-\end{RuleDescription}
-
-
 \begin{RuleDescription}{bind}
   The \currule{} rule is used to rename bound variables.