Vera Jean Hall (1929-2016)