Email Record: Foundations of constructive mathematics :