Exact Equations Intuition 1 (proofy)