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

Yeah, this is whay you wrote first, but it is incorrect as I pointed out "It is incorrect, because any x admits such a singleton seuqence (x)." If your definition depends on that ill-definition of cof, then your OCF would not work at all.