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

TON has only been proven to terminate up to C(C(Ω2ω,0),0) though (but Boboris02 is working on another proof of termination of TON)