class.positive03.pmf0