QuantifyingProbabilisticExpressions.pdf