Condolences for the family of Robert E. Jones