发送短信: Reduction, abstraction, analysis