Text this: Logical reasoning with diagrams