SMS dit: Logical reasoning with diagrams