Property Constraint and equality constraint