Stav dette: Diagrammatic representation and inference :