“The alternative is to locate large deposits of specifically what we need, and extract it in bulk from the earth.”“That’s mining,” said the Drip. “There is a twenty-third century legend that youth was conscripted to work in mines. Anyhow, all young people were known as miners at one period.”