diff --git a/forallx-yyc-ml.tex b/forallx-yyc-ml.tex
index 06ea4d8..cad8489 100644
--- a/forallx-yyc-ml.tex
+++ b/forallx-yyc-ml.tex
@@ -150,7 +150,7 @@ \section{System \mlK}
 		\hypo{2}{\ebox A}
 		\open
 		\hypo{3}{\ebox}
-		\have{4}{A}\boxe{m}
+		\have{4}{A}\boxe{2}
 		\have{5}{A \eif B}\boxe{1}
 		\have{6}{B}\ce{4,5}
 		\close