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

As I(1) is W, the I(2) = I!

So, I(2)[n] = I[n]