User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-27513631-20180807203627/@comment-30754445-20180807212600

What do you mean "interpreted liberally"?

The left side has cofinality I(MM) and the right side has cofinality ω. You gotta be quite a liberal, to find an interpretation by which the two are equal... ;-)