Invia SMS: Logical reasoning with diagrams