All of that had occurred more than a thousand years ago. The Hole had grown to the point where it could support a population of two thousand; then, around 4700 when the atmosphere had become breathable, they’d been able to take it up to ten thousand. All still beneath the surface, however, since there’d been little for them above it.