diff --git a/Paper.tex b/Paper.tex
index 11f988c0..cae4f203 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -1480,7 +1480,7 @@ \section{Precompiled Contracts}\label{app:precompiled}
 B &=& I_\mathbf{d}[64..(63 + l_B)] \\
 E &=& I_\mathbf{d}[(64 + l_B)..(63 + l_B + l_E)] \\
 M &=& I_\mathbf{d}[(64 + l_B + l_E)..(|I_\mathbf{d}| - 1)] \\
-\Xi_{\mathtt{EXPMOD}}(\boldsymbol{\sigma}, g, I) &\equiv& (\varnothing, 0, A^0, ()) \quad \text{if} \quad |I_\mathbf{d}| < 64 + l_B + l_E \\
+\Xi_{\mathtt{EXPMOD}}(\boldsymbol{\sigma}, g, I) &\equiv& (\varnothing, 0, A^0, ()) \quad \text{if} \quad |I_\mathbf{d}| < 64 + l_B + l_E\,\vee\,M\le B \\
 g_r &=& G_{modexpbase} + G_{arithword} \Big\lceil \dfrac{|I_\mathbf{d}|}{32} \Big\rceil + |M|^2 |E| / G_{quaddivisor} \\
 \mathbf{o} &=&
 \begin{cases}