Howard Sivertson (1930-2023)