User blog comment:Rgetar/Ordinal Explorer Online/@comment-31040770-20200216121620/@comment-32213734-20200216123506

I think that it is ok, since
 * [c + L] = I (first weakly inaccessible)

and
 * L + ΩI2 > L + I

([L + I] is limit of [L + 1], [L + Ωω], [L + ΩΩ ω ], ...)

But
 * [c + L]I = I2 (second weakly inaccessible)
 * L + ΩI2 < L + I2

So, probably, it should be so.