Condolences for the family of D. Keith DeWitt