Title: An interview with Thomas Kelly (1909-1992)