.
cocomp leqq