Concept: Regular conditional probability