Probabilistic contraction