Constraint A ()