14.160 Spring 2023 Lecture 9.pdf