.
cocomp tmeq