Conditional probability formula