发送短信: An Introductory Logic.