Exact Equations Intuition 2 (proofy)