發送短信: Non-finite complementation