“The general difficulty is that we need to find how to add constraints without using up all the degrees of freedom.”