Added: an extra constraint.