User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-27513631-20180807203627/@comment-32697988-20180807225756

Can't I(MI(M I(M ...) ) ) be written as I(A) where A=MI(M I(M I(M ...) ) ) ?