Kruskal's Tree Theorem | Not Hacker News!