發送短信: Rigorous mathematical thinking