Condolences for the family of James L. Hall