Obituary: William Joseph Jennett, 1912–94