Lecture 3, June 28, 2023