Obituaries: Vera Reynolds Tedrick 1937-2019