Condolences for the family of Mary L. Allen