User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-32697988-20180806232045/@comment-30754445-20180807005740

Maybe...

Only a careful investigation of Deedlit's definitions will tell us for sure.

The good news is that we'll only have to do this once, to create a nice "walkthrough" through all the important and/or possibly confusing milestone.

(I'm doing this mostly to teach the Mahlo-level OCF to myself)