Enviar por SMS: Logical reasoning with diagrams