Email Record: The foundations of intuitionistic mathematics: