發送短信: An Introductory Logic.