Stav dette: Formal logic :