.
cocomp eveq