Woodin's $P_{max}$ forcing when applied to a model of Determinacy produces a model which is maximal for sets of countable ordinals. We will briefly introduce $P_{max}$ and its applications and variations, and outline a proof of the maximality of $P_{max}$ extensions.