.
cocomp abeq