.
cocomp afeq