Lecture notes for lecture 7