Veblen_hierarchy loading ...