Recall that there are two basic steps in the case presented in Section 3.3. The first step involves Ω-completeness (and this gives ¬CH) and the second step involves maximality (and this gives the stronger 2ℵ0 = ℵ2). For ease of comparison we shall repeat these features here: 