Kruskal's running example