Reasoning about probabilities and probabilistic reasoning