--- a/ChengsongTanPhdThesis/main.tex	Mon Sep 12 23:32:18 2022 +0200
+++ b/ChengsongTanPhdThesis/main.tex	Thu Sep 22 00:31:09 2022 +0100
@@ -62,6 +62,7 @@
 %style=authoryear, natbib=true 
 \usepackage{stmaryrd}
 \usepackage{caption}
+\usepackage{afterpage}
 
 \addbibresource{example.bib} % The filename of the bibliography
 
@@ -270,11 +271,11 @@
 %	QUOTATION PAGE
 %----------------------------------------------------------------------------------------
 
-\vspace*{0.2\textheight}
-
-\noindent\enquote{\itshape Thanks to my solid academic training, today I can write hundreds of words on virtually any topic without possessing a shred of information, which is how I got a good job in journalism.}\bigbreak
-
-\hfill Dave Barry
+%\vspace*{0.2\textheight}
+%
+%\noindent\enquote{\itshape Thanks to my solid academic training, today I can write hundreds of words on virtually any topic without possessing a shred of information, which is how I got a good job in journalism.}\bigbreak
+%
+%\hfill Dave Barry
 
 %----------------------------------------------------------------------------------------
 %	ABSTRACT PAGE
@@ -333,7 +334,6 @@
 %	ABBREVIATIONS
 %----------------------------------------------------------------------------------------
 
-\begin{abbreviations}{ll} % Include a list of abbreviations (a table of two columns)
 
 
 \newtheorem{theorem}{Theorem}
@@ -346,66 +346,65 @@
 %proof
 
 
-\newcommand\sflat[1][]{\textit{sflat} \, #1}
-\newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}
-\newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2}
-\newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}
-\newcommand{\sflataux}[1]{\lbracket #1 \rbracket}
-\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
-\newcommand{\ZERO}{\mbox{\bf 0}}
-\newcommand{\ONE}{\mbox{\bf 1}}
-\newcommand{\AALTS}[2]{\XOR {\scriptstyle #1}\, #2}
-
-\def\lexer{\mathit{lexer}}
-\def\mkeps{\mathit{mkeps}}
-
-\def\AZERO{\textit{AZERO}}
-\def\AONE{\textit{AONE}}
-\def\ACHAR{\textit{ACHAR}}
+%\newcommand\sflat[1][]{\textit{sflat} \, #1}
+%\newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}
+%\newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2}
+%\newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}
+%\newcommand{\sflataux}[1]{\lbracket #1 \rbracket}
+%\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
+%\newcommand{\ZERO}{\mbox{\bf 0}}
+%\newcommand{\ONE}{\mbox{\bf 1}}
+%\newcommand{\AALTS}[2]{\XOR {\scriptstyle #1}\, #2}
+%
+%\def\lexer{\mathit{lexer}}
+%\def\mkeps{\mathit{mkeps}}
+%
+%\def\AZERO{\textit{AZERO}}
+%\def\AONE{\textit{AONE}}
+%\def\ACHAR{\textit{ACHAR}}
+%
+%
+%\def\ALTS{\textit{ALTS}}
+%\def\ASTAR{\textit{ASTAR}}
+%\def\DFA{\textit{DFA}}
+%\def\bmkeps{\textit{bmkeps}}
+%\def\retrieve{\textit{retrieve}}
+%\def\blexer{\textit{blexer}}
+%\def\flex{\textit{flex}}
+%\def\inj{\mathit{inj}}
+%\def\Empty{\mathit{Empty}}
+%\def\Left{\mathit{Left}}
+%\def\Right{\mathit{Right}}
+%\def\Stars{\mathit{Stars}}
+%\def\Char{\mathit{Char}}
+%\def\Seq{\mathit{Seq}}
+%\def\Der{\mathit{Der}}
+%\def\nullable{\mathit{nullable}}
+%\def\Z{\mathit{Z}}
+%\def\S{\mathit{S}}
+%\def\rup{r^\uparrow}
+%%\def\bderssimp{\mathit{bders}\_\mathit{simp}}
+%\def\distinctWith{\textit{distinctWith}}
+%
+%\def\rexp{\mathbf{rexp}}
+%\def\simp{\mathit{simp}}
+%\def\simpALTs{\mathit{simp}\_\mathit{ALTs}}
+%\def\map{\mathit{map}}
+%\def\distinct{\mathit{distinct}}
+%\def\blexersimp{\mathit{blexer}\_\mathit{simp}}
+%\def\map{\textit{map}}
+%\def\vsuf{\textit{vsuf}}
+%\def\sflataux{\textit{sflat}\_\textit{aux}}
+%\def\rrexp{\textit{rrexp}}
+%\def\rsize{\textit{rsize}}
+%\def\asize{\textit{asize}}
+%\def\rerase{\textit{rerase}}
+%\def\erase{\textit{erase}}
+%\def\STAR{\textit{STAR}}
+%\def\flts{\textit{flts}}
+%
 
 
-\def\ALTS{\textit{ALTS}}
-\def\ASTAR{\textit{ASTAR}}
-\def\DFA{\textit{DFA}}
-\def\bmkeps{\textit{bmkeps}}
-\def\retrieve{\textit{retrieve}}
-\def\blexer{\textit{blexer}}
-\def\flex{\textit{flex}}
-\def\inj{\mathit{inj}}
-\def\Empty{\mathit{Empty}}
-\def\Left{\mathit{Left}}
-\def\Right{\mathit{Right}}
-\def\Stars{\mathit{Stars}}
-\def\Char{\mathit{Char}}
-\def\Seq{\mathit{Seq}}
-\def\Der{\mathit{Der}}
-\def\nullable{\mathit{nullable}}
-\def\Z{\mathit{Z}}
-\def\S{\mathit{S}}
-\def\rup{r^\uparrow}
-%\def\bderssimp{\mathit{bders}\_\mathit{simp}}
-\def\distinctWith{\textit{distinctWith}}
-
-\def\rexp{\mathbf{rexp}}
-\def\simp{\mathit{simp}}
-\def\simpALTs{\mathit{simp}\_\mathit{ALTs}}
-\def\map{\mathit{map}}
-\def\distinct{\mathit{distinct}}
-\def\blexersimp{\mathit{blexer}\_\mathit{simp}}
-\def\map{\textit{map}}
-\def\vsuf{\textit{vsuf}}
-\def\sflataux{\textit{sflat}\_\textit{aux}}
-\def\rrexp{\textit{rrexp}}
-\def\rsize{\textit{rsize}}
-\def\asize{\textit{asize}}
-\def\rerase{\textit{rerase}}
-\def\erase{\textit{erase}}
-\def\STAR{\textit{STAR}}
-\def\flts{\textit{flts}}
-
-
-
-\end{abbreviations}