diff -r ca7ca1f10f98 -r 036600af4c30 ChengsongTanPhdThesis/Chapters/Chapter2.tex
--- a/ChengsongTanPhdThesis/Chapters/Chapter2.tex	Mon May 09 17:24:26 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Chapter2.tex	Tue May 17 00:54:29 2022 +0100
@@ -214,7 +214,7 @@
 same trick as we did for the correctness proof,
 but this time we will have stronger equalities established.
 \subsection{"hrewrite" relation}
-List of simplifications for regular expressions simplification without bitcodes:
+List of 1-step rewrite rules for regular expressions simplification without bitcodes:
 \