发送短信: Advanced procedure and axioms