Probability and computing1