6.1.1 约束