.
cocomp zgeq