Proof and Integration