Notes for Metrics III, Spring 2025, taught by Michael Kuhn