5.7.2 约束