Proof, Computation and Agency