Enviar aquest missatge de text: Proof, Computation and Agency