Corollary 3.26. Assuming: - $G$ is $Fn (ω \times ℵ_{2}^{M}, 2)$ -generic over $M$ , then

M [G] ⊨ ZFC + 2^{ℵ_{0}} \geq ℵ_{2} .