Αποστολή με SMS: Proof, Computation and Agency