Text this: Advanced procedure and axioms