.
cocomp eqdp