Textmeddelande: Varieties of constructive mathematics