Betty Woodman (1930–2018)