發送短信: Ludic proof