Condolences for the family of Paul Gregory