added example constraint