The asteroids or, more properly, the minor planets, have long been suggested as possible sites for human colonization. The idea is popular in science fiction. Digging the colony under meters of asteroidal rock would give protection from cosmic radiation. Asteroid mining, a proposed industrial process in which asteroids are mined for valuable materials, especially platinum group metals from metallic objects, may be automated or require a crew to remain at any target asteroid.