.
cocomp nneq