.
cocomp dpeq