From Kruskal to Boruvka