In memoriam: Brent Carver, 1951-2020