removed old (obsolete) THF formalizations