Envoyer par SMS: Logic for mathematicians