Probability solving