User blog comment:Hyp cos/Catching hierarchy fails/@comment-31040770-20190913134327/@comment-35470197-20190913135250

Are you joking? Or don't you just know that \(T_{\omega}\) in UNOCF is undefined as a cardinal?