Added two constraints: "OR" and "sum"