diff --git a/main.tex b/main.tex
index 88c3b8bd98474fe3845e49d17dcf412425bdc045..893d31f0d771d34925e3ca4d8ee059c4cbcabda4 100644
--- a/main.tex
+++ b/main.tex
@@ -267,14 +267,21 @@ bgmlv1_d_lowerbound_linear_term = (
 ).expand()
 
 # Verify the simplified forms of the terms that will be mentioned in text
+var("chbv",domain="real") # symbol to represent ch_1^\beta(v)
 
 assert bgmlv1_d_lowerbound_const_term == (
-	v.twist(beta_min).ch[2]/2
-	+ beta_min*q
+	(
+		# Keep hold of this alternative expression:
+		bgmlv1_d_lowerbound_const_term_alt :=
+		(
+			chbv/2
+			+ beta_min*q
+		)
+	)
+	.subs(chbv == v.twist(beta_min).ch[2])
+	.expand()
 )
 
-var("chbv",domain="real") # symbol to represent ch_1^\beta(v)
-
 assert bgmlv1_d_lowerbound_exp_term == (
 	(
 		# Keep hold of this alternative expression:
@@ -493,7 +500,7 @@ var("chbv",domain="real") # symbol to represent ch_1^\beta(v)
 assert bgmlv3_d_upperbound_const_term == ( 
 	(
 		# keep hold of this alternative expression:
-		bgmlv3_d_upperbound_const_term_alt1 := (
+		bgmlv3_d_upperbound_const_term_alt := (
 			chbv
 			+ beta_min*q
 		)
@@ -505,7 +512,7 @@ assert bgmlv3_d_upperbound_const_term == (
 assert bgmlv3_d_upperbound_exp_term == (
 	(
 		# Keep hold of this alternative expression:
-		bgmlv3_d_upperbound_const_term_alt2 :=
+		bgmlv3_d_upperbound_exp_term_alt :=
 		(
 			R*chbv
 			+ (C - q)^2/2