Title: Advanced Procedure and Axioms