distribution [MixedDistribution]:
null