Tekstiviesti: Logical reasoning with diagrams