Obituary: Oliver John Braddick (1944–2022). (June 2022)