Lecture notes for Lecture 8.