User blog comment:Hyp cos/Attempt of OCF up to Stability/@comment-32697988-20181027113000

In the Π_4 reflecting OCF, it i necessary to see whether γ is Π_3-reflecting on A_π(ξ) or not and whether γ is Π_2-reflecting on A_π(α,ξ,X) or not, but how do you do this?