Advanced Procedure and Axioms