Condolences for the family of David J. Avenius