.
cocomp rdeq