Separate Kruskal versions