There is an optimal strengthening of the Baire Category Theorem, known as Martin's Maximum, to collections of \(\aleph_1\) many nowhere dense sets. While Martin's Maximum has been highly successful in settling the truth of mathematical statements which are themselves not decided by ZFC, it is sometimes of interest to know when certain of its consequences are consistent with statements which themselves negate Martin's Maximum. I'll give a survey of work in this vein.