probabilistic-analysis