Assuming the correctness of the algorithm is maintained!