Add one extra constraint