Stav dette: Formal logic