Episode 830: Exact Equations Intuition 1 (proofy)