additive constraints