Logical Reasoning with Diagrams