By a classical result of Foreman, Magidor and Shelah, MM implies that the nonstationary ideal on $\omega_1$ is $\aleph_2$-saturated. We shall prove

that MM actually implies a stronger saturation property for the nonstationary ideal. As a corollary, we obtain a new proof of the fact that the continuum is $\aleph_2$ under MM.

This is joint work with Shimon Garti and Menachem Magidor.