Stav dette: Lógica formal: