User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-39541634-20190830020147

I think there's a huge difference between merely understanding what Mahlo Cardinals are and understanding how a Mahlo-based OCF works.

The former took me about 5 minutes, once I looked up the formal definition. If you have even a little background in set theory, it's simple enough.

The latter is still completely beyond me, many months later.