發送短信: Perspectives in logic