But why bother with this constraint at all?