User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-7484840-20130719072932/@comment-7484840-20130719085608

I understand now, I just thought that psi_(I(1,0))(a) = alphath fixed point of b -> I(b) was a general rule, not a specific example (It's the whole I ≠ Omega_Omega_Omega_... Thing again). So, for example, psi_{I(4,3,0)}(a) would turn into the a-th fixed point of b -> I(4,2,b), for a < Omega, because then it starts doing collapsing things.