Αποστολή με SMS: Λογική και φορμαλισμός