Click 01Lecture02Formalities.pdf link to view the file.