.
cocomp eqqn