Lecture 20, June 17