An unfortunately interesting thing happens when you decide to look for the ``best'' solution instead of any solution.
It is no longer enough to win. All others must fail!!
Ahem. In particular, we have to reason that the proposed solution dominates all others, making it a global property instead of a local one.
Kind of like proving ``unsatisfiability'' (there is no solution better than this one).
But, how can we do this?
