diff --git a/formalism/typed.tex b/formalism/typed.tex
index 2f639bd..679c20f 100644
--- a/formalism/typed.tex
+++ b/formalism/typed.tex
@@ -40,7 +40,7 @@ \subsubsection{Well-formedness}
 \label{sec:typed-well-formedness}
 \judgbox{\ensuremath{\zWellFormed{\ZCMV}}} $\ZCMV$ is well-formed
 %
-\begin{mathpar}
+\begin{mathparpagebreakable}
   \inferrule[WFCursor]{ }{
     \zWellFormed{\ZCCursor{\ECMV}}
   }
@@ -289,7 +289,7 @@ \subsubsection{Well-formedness}
   }{
     \zWellFormed{\ZProjRSynNonMatchedProd{\ZMV}}
   }
-\end{mathpar}
+\end{mathparpagebreakable}
 
 \subsection{Cursor erasure}
 \label{sec:typed-cursor-erasure}