In this project we investigate well-partial orderings. The long term goal is to determine the proof-theoretic strength of Friedman’s extension of Kruskal’s tehorem for finitely many labels. This difficutl problem has been open since thirty years. As crucial idea towards a solution will consist in the calculation of the maximal order type of the Friedman embedding (and lots of their variants) via a so called collapsing function.