發送短信: A practical calculus