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

In the second system, psi_W_1(0,0)=phi(1,1,0), right?