User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-28606698-20170408192340/@comment-5529393-20170410014709

Ugh, another silly mistake. I forgot to include the \(\beta\)'s in the formulas. It should be correct now.