Original: From Dr. James Hilton's When Did the Asteroids Become Minor Planets?
Simplified: Dr. James Hilton, When