發送短信: Advanced procedure and axioms