The second formulation of CH asserts that every well-ordering of the reals has order type less than ℵ2. For a given pointclass Γ in the hierarchy, the corresponding definable well-ordering version of CH asserts that every well-ordering (coded by a set) in Γ has order type less than ℵ2. 