User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-35470197-20180807000338/@comment-35470197-20180807132856

Uh huh. I first showed a = X_a(0) < M and thought that it implied X_M(0) > X_a(0) = a. But considering in some strange direction, I wrote the incorrect equality.

So I guess that you are right. Sorry. I edit the wrong argument in order to avoid misleading other readers.

> Anybody with even a cursory understanding of Deedlit's notation could tell you that, without needing all the heavy set-theoretical stuff you've mentioned.

Ok. I will improve my poor ability to show properties of Mahlo. (Was that so heavy?)