User blog comment:Bubby3/BM1 is weaker than expected./@comment-11227630-20180326102019/@comment-30754445-20180326104712

Had the system worked properly, the following would have been a strictly decreasing sequence of ordinals:

(0,0,0)(1,1,1)

(0,0)(1,1)(2,2)(3,3) [3rd member of FS]

(0,0)(1,1)(2,2)(3,2) [1st member of FS]

(0,0)(1,1)(2,2)(3,1)(4,2) [1st member of FS]

(0,0)(1,1)(2,2)(3,1) [truncaiton]

(0,0)(1,1)(2,2)(3,0)(4,0) [1st member of FS]

(0,0)(1,1)(2,2)(3,0)(3,0) [1st member of FS]

(0,0)(1,1)(2,2)(3,0)(2,2) [1st member of FS]

(0,0)(1,1)(2,2)(3,0)(2,1)(3,1)(4,1) [2nd member of FS]

And we're done