Obituaries: Frank L. Stump 1930-2022