tree.thm