 To summarize: Assuming the Strong Ω Conjecture, there is a “good” theory of H(ω2) and all such theories imply that CH fails. Moreover, (again, assuming the Strong Ω Conjecture) there is a maximal such theory and in that theory 2ℵ0 = ℵ2. 