There’s an interesting aside here about technical correctness vs. general correctness in published results; the algorithm in the paper is literally wrong, even though it comes with a proof of correctness, but the paper is still a good paper because the fundamental insight driving the algorithm is correct, and the technical problems can be fixed. -- algorithm LeastCircularSubstring variables b \ in Corpus; n = ZLen(b); f = [index \ in 0 ..