MrMind comments on Constructive mathemathics and its dual