Pātuhitia tēnei: Foundations of constructive analysis.