發送短信 : Annals of mathematical logic.