Mary Lee Hall (1920-2015)