Definition of "Kruskal"

Kruskal