Envoyer par SMS: Formal logic :