Stav dette: Formal Logic/