User blog comment:Hyp cos/extended Kruskal theorem/@comment-25601061-20180604152447

Can you continue the analysis of trees up to ψ(Ωω)?