diff --git a/formalism/typed.tex b/formalism/typed.tex
index f430594..bf59932 100644
--- a/formalism/typed.tex
+++ b/formalism/typed.tex
@@ -39,7 +39,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}}
   }
@@ -288,7 +288,7 @@ \subsubsection{Well-formedness}
   }{
     \zWellFormed{\ZProjRSynNonMatchedProd{\ZMV}}
   }
-\end{mathpar}
+\end{mathparpagebreakable}
 
 \subsection{Cursor erasure}
 \label{sec:typed-cursor-erasure}