Stav dette: Advanced procedure and axioms