[shoo]

And unless you were especially lucky, the existence proof would be non-constructive.

[eru]

I still hope, that somebody finds a non-constructive proof for P=NP.