diff -r 5bf9f94c02e1 -r a7344c9afbaf ChengsongTanPhdThesis/main.tex
--- a/ChengsongTanPhdThesis/main.tex	Sun Jun 12 17:03:09 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Tue Jun 14 18:06:33 2022 +0100
@@ -44,6 +44,7 @@
 
 \usepackage{mathpazo} % Use the Palatino font by default
 \usepackage{hyperref}
+\usepackage{lipsum}
 \usepackage[backend=bibtex,style=authoryear,natbib=true]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA)
 \usepackage{stmaryrd}
 \usepackage{caption}
@@ -68,6 +69,8 @@
 \usepackage{tikz-cd}
 \usepackage{tikz}
 \usetikzlibrary{automata, positioning, calc}
+\usetikzlibrary{fit,
+                shapes.geometric}
 \usepackage{mathpartir}
 
 
@@ -270,6 +273,7 @@
 \newtheorem{theorem}{Theorem}
 \newtheorem{lemma}{Lemma}
 \newtheorem{definition}{Definition}
+\newtheorem{conjecture}{Conjecture}
 %proof