Tekstiviesti: Advanced Procedure and Axioms