Αποστολή με SMS: Formal semantics :