Stav dette: Logical reasoning with diagrams