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

So that means I_x has no fixed points?