Αποστολή με SMS: Computation and proof theory :