Hierarchy_theory loading ...