User blog comment:Hyp cos/Attempt of OCF up to Stability/@comment-35470197-20181026043805/@comment-11227630-20190724030818

Again about the reflection instances:

Reflection instances \(\mathbb X\) always appear as a part of \(A_\pi\mathbb X\) or \(IV\mathbb X\) in set-theoretic definitions. A and IV are functions, with many ordinal inputs arranged in a tree structure.