diff --git a/main.tex b/main.tex
index 2018c9c815c784b9c40cd6fec1b5cf80087e74f0..0d405492558a44e105f36a3b6d4bd7db8cf4e49e 100644
--- a/main.tex
+++ b/main.tex
@@ -1018,6 +1018,10 @@ and we shall be varying $\chern_0(E) = r$ to see when certain inequalities fail.
 
 \subsection{Numerical Inequalities}
 
+This section studies the numerical conditions that $u$ must satisfy as per
+lemma \ref{lem:pseudo_wall_numerical_tests}
+(or corrolary \ref{cor:numerical-test-left-pseudowalls-rational-betamin}).
+
 \subsubsection{Size of pseudo-wall: $\chern_2^P(u)>0$ }
 \label{subsect-d-bound-radiuscond}