Same notes as Lecture 9.3.1