cocompleteness