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

@Hyp cos I do not know an explicit relation between TON (i.e. the main notation) and C_i system (i.e. the full system in built-from-below with passthrough). Is there any implication of the well-foundedness of TON from that of C_i system?