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

Your analysis of wgap trees reaches up to ψ(Ωω), yet as you pointed out, there are still trees that haven't been included and that aren't wge into any of the trees in the analysis. So is wgap stronger than ψ(Ωω)?