Գրեք սա: Proof, Computation and Agency