6.4 检查约束