Notes: Same as Lecture 8.3.1