Envoyer par SMS: Reasoning and formal logic :