 There is an asymmetry that was pointed out by Martin, namely, that a definable counterexample to CH is a real counterexample, while no matter how far one proceeds in verifying definable versions of CH at no stage will one have touched CH itself. In other words, the definability approach could refute CH but it could not prove it. 