diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 4866582a8608722e528a0654177cc895ef69cc80..a272e80430d7fddc4072f6824214813bf6cc0aa1 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -1165,8 +1165,6 @@ The possible transformations are:
     \item $\operatorname{ite} \bot      \; t_1 \; t_2 \leftrightarrow t_2$
     \item $\operatorname{ite} \psi      \; t \; t \leftrightarrow t$
     \item $\operatorname{ite} \neg \varphi \; t_1 \; t_2 \leftrightarrow \operatorname{ite} \varphi \; t_2 \; t_1$
-    \item $\operatorname{ite} \top \; t_1 \; t_2 \leftrightarrow t_1$
-    \item $\operatorname{ite} \bot \; t_1 \; t_2 \leftrightarrow t_2$
     \item $\operatorname{ite} \psi \; (\operatorname{ite} \psi\;t_1\;t_2)\; t_3 \leftrightarrow
 			\operatorname{ite} \psi\; t_1\; t_3$
     \item $\operatorname{ite} \psi \; t_1\; (\operatorname{ite} \psi\;t_2\;t_3) \leftrightarrow