> Examples where the known proof is nonconstructive, and where one can give > a constructive proof, but all known constructive proofs are grotesque Examples abound in game theory. e.g. That Hex has a first-player win. wfct