We shouldn't have to conjecture about this. We should be able to read and understand the algorithm.