SMS versenden: Foundations of constructive analysis.