Add constraint doc