User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20171217042147/@comment-98.207.169.109-20180104073634

If the first, then the first fixed point of I is I(1,0) and bad things happen to the OCF.