Envoyer par SMS: Lógica formal