remove TranslationOfTHFFormalization