${\sf MM}^{++}$ implies $(*)$

We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom $(*)$.