.
cocomp apeq