Vera Jean Williams 1933-2021