User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5029411-20130811125215/@comment-5529393-20140621074051

I(2) is a regular cardinal, so it's cofinality is itself, and the most natural fundamental sequence is just I(2)[a] = a.