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