Enviar aquest missatge de text: Advanced procedure and axioms