Αποστολή με SMS: Classical mathematical logic