Obituaries: Butler Jeremiah Shaffer (1924-2018)