Michael Morris (1942-2022)