--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Fri Jul 14 00:32:41 2023 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Mon Jul 24 11:09:48 2023 +0100
@@ -614,7 +614,8 @@
 Our work focuses on the space complexity of the algorithm under our notion of the size of 
 a regular expression.
 Despite not being a direct asymptotic time complexity proof,
-our result is an important stepping leading towards one.
+our result is an important stepping towards one.
+
 
 
 Brzozowski showed that there are finitely many similar deriviatives,