recorded lecture notes 5733343