.
cocomp eqfq