發送短信 : Foundations of constructive analysis.