diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 791852c36d534e3aef4f63a20c1c93d11fa0a2e2..20d98162da775a1900b470437d13fa96d94e5f35 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -915,7 +915,7 @@ with $1 \leq k \leq n$.
 \begin{plContainer}
 \begin{plList}
 \proofsep& i.& \neg(\operatorname{ite}\varphi_1\;\varphi_2\;\varphi_3) &(\dots)\\
-\proofsep& j.& \neg\varphi_2 , \neg\varphi_2 &(\currule; i)\\
+\proofsep& j.& \neg\varphi_1 , \neg\varphi_2 &(\currule; i)\\
 \end{plList}
 \end{plContainer}
 \end{proof-rule}