DanielLC comments on Looking for proof of conditional probability