Finished typing up the theory work