[masterzora]

Well, the part where it directly mentions excluded middle is the part where it cites Boolos commenting on just that.

[dkarapetyan]

That's not what I mean. What is the analog of the hardest puzzle in the constructive setting.