John R. Godsil

February 4, 1947  -  July 7, 2023