Stav dette: Symbolic logic,