Why this extra constraint?