Αποστολή με SMS: The languages of logic