Rewrite the definition of constraint

I couldn't make a lot of sense of the original.  I suspect that it's rotted a little over time.