Envoyer par SMS: Logical reasoning with diagrams