.
cocomp bdeq