.
cocomp thmq