Stav dette: Foundations of constructive analysis.