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

In the case \(\alpha = 2^I\), then we apply the diagonalizer rule, not the inaccessible one. Or you can simplify \(2^I\) to \(I\) beforehand. Even though the two expand differently, they correspond to the same ordinal, the omega fixed point.