αρχείο Email: Logical reasoning with diagrams/