Văn bản này: Proof, Computation and Agency