4.2.4 约束