User blog comment:C7X/CNF Comparison Algorithm/@comment-32213734-20200106184503/@comment-37485018-20200108013122

OK, this makes more sense now.