Kompakt træ for Herbert James Elfring