Adding more documentation for constraints