Probability computation