Carmel McSharry RIP (1926-2018)