Constraint

[7.1] Rule