User blog comment:Hyp cos/Fundamental Sequences in Taranovsky's Notation/@comment-40154718-20190916083849/@comment-40154718-20190916092133

More precisely, the power of TON can be measured by the least ordinal that cannot be represented by a TON expression.