Condolences for the family of Harvey S. Tanner