diff --git a/main.tex b/main.tex
index 9165a51a3907c3a61c64dd77967c9dce4694ec35..0847d0d6fde13ef62956eefac8ad7a081b01c90b 100644
--- a/main.tex
+++ b/main.tex
@@ -541,11 +541,6 @@ assert bgmlv3_d_ineq.lhs() == d
 bgmlv3_d_upperbound = bgmlv3_d_ineq.rhs() # Keep hold of lower bound for d
 \end{sagesilent}
 
-\begin{dmath}
-	\label{eqn-bgmlv3_d_upperbound}
-	\sage{bgmlv3_d_ineq}
-\end{dmath}
-
 \begin{sagesilent}
 # Seperate out the terms of the lower bound for d
 
@@ -615,6 +610,18 @@ assert bgmlv3_d_upperbound_exp_term == (
 )
 \end{sagesilent}
 
+\bgroup
+\def\psi{\chern_1^{\beta}(F)}
+\def\phi{\chern_2^{\beta}(F)}
+\begin{dmath}
+	\label{eqn-bgmlv3_d_upperbound}
+	d \leq
+	\sage{bgmlv3_d_upperbound_linear_term}
+	+ \sage{bgmlv3_d_upperbound_const_term_alt}
+	+ \sage{bgmlv3_d_upperbound_exp_term_alt2}
+\end{dmath}
+\egroup
+
 
 \noindent
 Viewing equation \ref{eqn-bgmlv3_d_upperbound} as an upper bound for $d$ give: