Obituaries: Patricia Myers (1925-2018)