User blog comment:Ytosk/Trying to define TBMS/@comment-35470197-20191016101622/@comment-38817512-20191016155903

Thank you for the feedback. I wrote this over the course of multiple days, so some things might have been mistakes like "i'll fix this later, when i know how to say what i mean", which i forgot about.

When i refer to BMS, i mean the version that works (without an infinite loop), which i think is BM2.3

That is the case of the "...", where the "obvious sequence" was the sequence of ni for natural numbers i, larger than 0 and less than or equal to m, ordered by the "<" relation from the minimum to the maximum element.