constraint
examples