Searching for links to CountablyInfinite: