sentences: "National Public Radio's "Day to Day" reported that the 1972 "Yale Banner" (the yearbook of Yale University) gave his name as "Irve Lewis Libby Jr."; it is unclear if "Irve" is his given name, or if it is short for "Irving", as it was for his father.CBS, the BBC, and the "New York Times"s John Tierney have all used this spelling of his first name.