Probability calculus