.
cocomp cgeq