發送短信: Proving the unprovable