User blog comment:P進大好きbot/Ordinal Notation with the PTO of ZFC/@comment-30004975-20190706223805/@comment-35470197-20190706233659

Right. I did not care much about the joke table, but it should be corrected. Thanks.