Obituary: Dorothy B. Ingersoll, 93