  We describe a general method for adding a model of an infinitary
propositional formula by stationary set preserving forcing. As a consequence we
obtain a somewhat different proof of the Asper\'o-Schindler theorem stating
that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$.
