File:Robert Anderson Hall Jr. (1911–1997).jpg