AlexMennen comments on Constructive mathemathics and its dual

[AlexMennen]

You’re trying to make it not boring by ending the post before saying anything interesting?

[MrMind]

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