Condolences for the family of Robin J. Dennis