User blog comment:P進大好きbot/New Issue on Traditional Analyses/@comment-34422464-20190828003038

It's kinda scary how even well-defined OCFs lack any comparison algorithm, let alone a fundamental sequence system.