[sidusknight]

Sure. And why does that seem any more feasible than a non-constructive proof?

[lisper]

I don't know. Why is the moon plaid?