--- a/ChengsongTanPhdThesis/main.tex	Mon Jun 06 03:06:32 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Mon Jun 06 15:57:17 2022 +0100
@@ -230,7 +230,7 @@
 cubic to regular expression size using a technique introduced by
 Antimirov.
 The result is an algorithm with provable guarantees on 
-correctness and running time. We believe this is the first 
+correctness and finiteness. We believe this is the first 
 work with these two guarantees together.
 
 \end{abstract}