This is not a contradiction since an uninhabited type has no complete terms and a probability distribution over an empty type is ill defined anyway.