diff --git a/formalism/untyped.tex b/formalism/untyped.tex
index 15df7d4..9520799 100644
--- a/formalism/untyped.tex
+++ b/formalism/untyped.tex
@@ -590,13 +590,13 @@ \subsubsection{Expression actions}
   \inferrule[AEZipProjL]{
     \AUEAction{\ZMV}{\ZMV'}{\AMV}
   }{
-    \AUEAction{\ZProjL{\ZMV}{\EMV}}{\ZProjL{\ZMV'}{\EMV}}{\AMV}
+    \AUEAction{\ZProjL{\ZMV}}{\ZProjL{\ZMV'}}{\AMV}
   }
 
   \inferrule[AEZipProjR]{
     \AUEAction{\ZMV}{\ZMV'}{\AMV}
   }{
-    \AUEAction{\ZProjR{\EMV}{\ZMV}}{\ZProjR{\EMV}{\ZMV'}}{\AMV}
+    \AUEAction{\ZProjR{\ZMV}}{\ZProjR{\ZMV'}}{\AMV}
   }
 \end{mathpar}