MrMind comments on Constructive mathemathics and its dual

[MrMind]

I was aiming more at ”… before boring someone to death”.