(lecture notes)