Performed some styling, some reorganizing, and added an appendix