MrMind comments on Constructive mathemathics and its dual

[MrMind]

I’ve now modified the introduction to at least present the briefest sketch of the topic, hoping not to alienate even more people!