Note that Equation 7 subsumes all models discussed in this section.
when M = 0, M = 1, the model is the Naive Model discussed in Section 4.1; when M = 1, M = 1, the model is the same as Greenberg et al.