.
cocomp eqgt