Stav dette: Advanced Procedure and Axioms