perhaps add a comment that we are doing this to save on memory usage as that is the whole point of the randomized algorithm.