Be careful with domain and range constraints. Check them carefully if classification does not work as expected.

• 谨慎给出类的定义域和值域约束,他们是全局约束,可能会导致不期望的结果。