2022 Fall Sandra Müller, Stationary-Tower-Free Proof of Woodin’s Sealing Theorem Matteo Viale, Generic absoluteness theorem for the $\omega_1$ Chang model conditioned to $MM^{+++}$. VNotes from Sandra’s talk.