--- a/ChengsongTanPhdThesis/main.tex	Sat May 07 13:38:44 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Sun May 08 13:26:31 2022 +0100
@@ -57,6 +57,8 @@
 
 %\usepackage{algorithm}
 \usepackage{amsmath}
+\usepackage{amsthm}
+\usepackage{amssymb}
 %\usepackage{mathtools}
 \usepackage[noend]{algpseudocode}
 \usepackage{enumitem}