Αποστολή με SMS: Proof theory /