Carrier's_constraint