Αποστολή με SMS: First-order logic /