MICHAEL JOHN ANDERSON (1938-2021)