Condolences for the family of Grover A. Hall