User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-29014792-20160804235000/@comment-5029411-20170729143659

But the definition of $$\Pi^x_y$$ isn't well-defined.