Proofs and Calculations