Text this: Proof, Computation and Agency