 It follows that if ℙ is any homogeneous partial order in L(ℝ) then the generic extension L(ℝ)ℙ inherits the generic absoluteness of L(ℝ). Woodin discovered that there is a very special partial order ℙmax that has this feature. Moreover, the model L(ℝ)ℙmax satisfies ZFC + ¬CH. The key feature of this model is that it is “maximal” (or “saturated”) with respect to sentences that are of a certain complexity and which can be shown to be consistent via set forcing over the model; in other words, if these sentences can hold (by set forcing over the model) then they do hold in the model. To state this more precisely we are going to have to introduce a few rather technical notions. 