.
cocomp ydeq