Condolences for the family of Otis R. Hull