Continuum_hypothesis loading ...