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

Alright I have modified the Enum statement so that it is similar to your definition. Anything else I should change?