 This illustrates an interesting contrast between our three versions of the effective continuum hypothesis, namely, that they can come apart. For while large cardinals rule out definable counterexamples of the first two kinds, they cannot rule out definable counterexamples of the third kind. But again we must stress that they cannot prove that there are such counterexamples. 