 Still, one might argue that although the definability approach could not prove CH it might provide some evidence for it. In the case of the first two versions we now know that CH holds for all definable sets. Does this provide evidence of CH? Martin pointed out (before the full results were known) that this is highly doubtful since in each case one is dealing with sets that are atypical. For example, in the first version, at each stage one secures the definable version of CH by showing that all sets in the definability class have the perfect set property; yet such sets are atypical in that assuming AC it is easy to show that there are sets without this property. In the second version, at each stage one actually shows not only that each well-ordering of reals in the definability class has ordertype less than ℵ2, but also that it has ordertype less than ℵ1. So neither of these versions really illuminates CH. 