We prove that the property "P doesn't make the old reals Lebesgue null" is preserved under countable support iterations of proper forcings, under the additional assumption that the forcings are nep (a generalization of Suslin proper) in an absolute way. We also give some results for general Suslin ccc ideals.

We give a self-contained proof of the preservation theorem for proper countable support iterations known as “tools-preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals.

In this paper, we give details of results of Shelah concerning iterated Namba forcing over a ground model of CH and iteration of P[W] where W is a stationary subset of ω 2 concentrating on points of countable cofinality.