Anfonwch hwn fel neges destun: Advanced procedure and axioms