发送短信: Ludic proof