16.100 Fall 2025 - Lecture 4 - Sep 15.pdf