Stav dette: Constructive analysis