.
cocomp lcoq