constraint
examples
