Probability_measure