Email Record: Approaches to Eliminating Cycles in the UMLS Metathesaurus: Naïve vs. Formal