Exact Value Calculation & Proofs