Obituary: James Oliver Leet, 94