revise first set of constraints