Before revision:  We use probabilistic considerations to prove the algorithm  correctness.
After revision:  We use probabilistic considerations to prove the algorithm 's correctness.