User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-30754445-20180810102658/@comment-35392788-20180810130005

If I remember correctly, it was TON's second system which was conjectured to reach PTO(Z2).