Ben Pace comments on Looking for proof of conditional probability