Envoyer par SMS: A Concise Introduction to Logic