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

The second OCF is wrong and the psi examples are wrong. Also, pi has to be in M(epsilon+1) to avoid all redundant functions.