Gavin comments on Phil Harvey (1938 βˆ’ 2021)