Lots of progress on constraints