User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-30004975-20180116041644/@comment-5529393-20180116083311

Not even sure what you mean by an OCF being "wrong". What is epsilon, do you mean epsilon_0? What is special about M(epsilon_0 + 1)?