Zaslat SMS: Logical reasoning with diagrams