Envoyer par SMS: Lógica de primer orden