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

oh