Telefona gönder: Proof, Computation and Agency