> Every constraint on the table. Tighten those enough and something interesting happens, you end up with only one possible solution.

Is there always a unique solution? If constraints A is tightened and then determines the outcome, could that not also happen with a tightened constraint B that determines a different outcome?