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

I'm talking about the epsilon in the definition of C(a,b). Also, the second OCF can't represent K and since xi(2,x) enumerates the weakly Mahlos, psi_xi(3,0)(2,x) should enumerate...not the weakly Mahlos.