Αποστολή με SMS: Advances in Proof Theory