發送短信: Propositions, functions, and analysis