發送短信: Brief calculus with applications