.
cocomp cleq