added example of constraint