Stav dette: Symbolic logic/