Dennis Reid (1943-2023)