Forcing axioms and the continuum hypothesis

Woodin has demonstrated that, in the presence of large cardinals, there is a single model of ZFC which is maximal for Π₂-sentences over the structure (H(ω ₂), ∈, NS _ω1), in the sense that its (H(ω ₂), ∈, NS _ω1) satisfies every Π₂-sentence σ for which (H(ω ₂), ∈, NS _ω1) ? σ can be forced by set-forcing. In this paper we answer a question of Woodin by showing that there are two Π₂-sentences over the structure (H(ω ₂), ∈, ω ₁) which can each be forced to hold along with the continuum hypothesis, but whose conjunction implies $ {2^{{{aleph_0}}}}={2^{{{aleph_1}}}} $ . In the process we establish that there are two preservation theorems for not introducing new real numbers by a countable support iterated forcing which cannot be subsumed into a single preservation theorem.