A Proof Runs Through It

Lecture