Αποστολή με SMS: Proof, logic and formalization /