Відправити по sms: Logical reasoning with diagrams