约束---Check