Note that some pairs of these constraints are redundant or logically incompatible.
we are using them as soft constraints, so these constraints will not necessarily be satisfied by the output of the model, which eliminates concern over enforcing logically impossible outputs.