Pošalji tekstualnu poruku: Proof, Computation and Agency