Lecture notes for Lecture 23