abort if unknown term in cox
cop and cox
clarify operations for relation headings