Αποστολή με SMS: Lógica de primer orden