add example for constraints