From 49aa1ed67a5a0034bcea64d38f302ab22964d82d Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 11 Apr 2023 21:11:24 +0100
Subject: [PATCH] Claire's feedback about clarity of parallel dichotomies

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.tex b/main.tex
index f738229..2a67d93 100644
--- a/main.tex
+++ b/main.tex
@@ -24,7 +24,7 @@ Practical Methods for Finding Pseudowalls}
 
 \section{Introduction}
 
-There are theoretical results [ref] that show that for any $\beta_0 \in \QQ$,
+[ref] shows that for any $\beta_0 \in \QQ$,
 the vertical line $\{\sigma_{\alpha,\beta_0} \colon \alpha \in \QQ_{>0}\}$ only
 intersects finitely many walls. A consequence of this is that if
 $\beta_{-} \in \QQ$, then there can only be finitely many circular walls to the
-- 
GitLab