5.1.1 检查约束