User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043/@comment-35392788-20180728120230

Yes, \(\ddots\kappa \geq \kappa\), since you can't decrease an ordinal without FSes