Condolences for the family of Donald Edward Boring