whpearson comments on Constructive mathemathics and its dual