余约束

corestriction