 The third version actually has an advantage in this regard since not all of the sets it deals with are atypical. For example, while all Σ̰11-sets have length less than ℵ1, there are Π̰11-sets of length ℵ1. Of course, it could turn out that even if the Foreman-Magidor program were to succeed the sets could turn out to be atypical in another sense, in which case it would shed little light on CH. More interesting, however, is the possibility that in contrast to the first two versions, it would actually provide an actual counterexample to CH. This, of course, would require the failure of the Foreman-Magidor program. 