Αποστολή με SMS: Foundations of constructive analysis.