13-5.3.6 Conditional probability, basic