Regular_conditional_probability