Stav dette: Symbolic Logic