Theorem 3.24. Assuming that:

• $\mathbb{P}$ has countable chain condition