.
cocomp cqeq