A disjunctive constraint can still function as a necessary condition if each disjunct tracks a disti...