I aim to present the proof that the $\mathbb P_{max}$ axiom (*) is implied by Martin's Maximum$^{++}$, as well as some further work related to this result and its proof.