You can use a rule to constrain possibilities