.
cocomp peqn