Obituaries: Keith A. Thompson 1937-2021