Iterated forcing and normal ideals on ω ¹

We prove that suitable iteration does not collapse א₁ [and does not add reals], i.e., that in such iteration, certain sealing of maximal antichains of stationary subsets of ω ₁ is allowed. As an application, e.g., we prove from supercompact hypotheses, mainly, the consistency of: ZFC + GCH + "for some stationary set S ⊆ω ₁, {ie345-1}(ω ₁)/(D ω ₁ +S) is the Levy algebra" (i.e., the complete Boolean Algebra corresponding to the Levy collapse Levy (א₀,<א₂) (and we can add "a variant of PFA") and the consistency of the same, with "Ulam property" replacing "Levy algebra"). The paper assumes no specialized knowledge (if you agree to believe in the semi-properness iteration theorem and RCS iteration).