Redirecting to Kruskal's tree theorem