Given That Probability Formula