This leaves them seven million super-dense worlds for exploration and colonization."  
There are 2 different places they could explore.
mnli hypothesis: There are 2 different places they could explore. premise: This leaves them seven million super-dense worlds for exploration and colonization."  