Michael Herbert Day (1927–2018)