User blog comment:Boboris02/Analysis of Taranovsky's Ordinal Notation with "standard OCFs."/@comment-30004975-20180328042454/@comment-30118230-20180430123440

It is.