Just minor additions for the first set of constraints