A journey guided by the stars
We show that starting from an inaccessible limit of supercompact cardinals, there is a staionary set preserving forcing so that the Nonstationary Ideal is dense in the generic extension. This answers positively a question of Woodin.