Text this: Advanced Procedure and Axioms