发送短信: Mathematical logic