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

I think you should read it over as I have made a hopefully precise enough definition for Enum and have gotten rid of certain definitions including L and the concept of “ordinal distance” that were ill-definied.