Names, sets, and numbers (1971)