PRODUCE THE CONSTRAINTS