User blog comment:Flitri/An ordinal Collapsing up to the Least weakly Mahlo Cardinal/@comment-35470197-20190409053305/@comment-25216794-20190410031826

Alright I now have a rudimentary normal form technique m, is it well defined enough such that the fundamental sequences work?