 So, of the various theories TA involved in Theorem 5.1, there is one that stands out: The theory T(∗) given by (∗). This theory maximizes the Π2-theory of the structure ⟨H(ω2), ∈, INS, A | A ∈ 𝒫 (ℝ) ∩ L(ℝ)⟩. The fundamental result is that in this maximal theory 