.
cocomp gveq