1 problem

Let $V$ be a model of ${\text{{\sf MM}}}^{++}$ together with large cardinals, and let $P\in V$ preserve ${\text{{\sf MM}}}^{++}$. Martin's maximum conjecture. For every such $P$, ……