.
cocomp udeq