add back extra constraint