David "Jerry" Bentham

August 31, 1936  -  March 29, 2023