documented constraint classes