User blog comment:LittlePeng9/Higher order set theory/@comment-30004975-20170118224621/@comment-1605058-20170118225209

That's the idea, yes.