.
cocomp eoeq