發送短信: Deduction, Computation, Experiment