Paul Householder

May 6, 1938 – July 20, 2022