Anfonwch hwn fel neges destun: Proof, Computation and Agency