SMS dit: Foundations of constructive analysis.