Documentation for constraints. (#15)