This model is a probability model,
because all the outcomes have probabilities that are nonnegative and
The sum of the probabilities is 1.