.
cocomp eqne