6An alternative way to define invalid constraints is to define them as constraints that never hold, but such definition produced no invalid constraints in my experiments. The definition above is preferred, as it is more informative.