.
cocomp eqof