true, it’s always the next sort they didn’t take

As a monotonic sequence researcher, my bogosorts always resolve in O(n). I don’t see what the big deal is.