User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180804174000/@comment-30754445-20180805043228

BTW you know what would really be nice?

If we had intuitive explanations like Username's, combined with a walkthrough like yours, combined with Deedlit's precise definitions (which currently go only to up to weakly compact cardinals, but I highly doubt that User's version - once formally defined - would go any higher).

If we could do that, it would be just grand.

And by now I am convinced that it won't be any more difficult to do with Deedlit's notations then it will be to do with UNOCF. The only reason UNOCF seems more friendly than the standard notations, is that Username5243 made a much more detailed breakdown (which was made even friendlier with your even-more-detailed walkthrough).