Is this a case where you can prove a solution exists but you can't say what it is? (Because you have to invoke the Axiom of Choice or some such?)
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.