.
cocomp fleq