Title: Proof and Computation