Searching for links to ContinuumHypothesis: