14.160 Spring 2025 Lecture 20 v1.pdf