probability_measure