User blog comment:Bubby3/Transfinite BMS./@comment-5029411-20180505000412

And then, we can use X-structure to go further.

I define (...+a3X3+a2X2+a1X+a0) as slightly less than (a0,a1,a2,a3,..).