User blog comment:Hyp cos/Fundamental Sequences in Taranovsky's Notation/@comment-40154718-20190917091450/@comment-11227630-20190918000029

System "Built-from-below with Passthrough" is proved to be well-founded. But its structure and strength are more difficult and unsolved.