One of my life goals is to fully understand Jean Gallier's paper about Kruskal's theorem and the Feferman-Schütte ordinal.