Kruskal's_tree_theorem loading ...