Logical reasoning with diagrams | lit.salon