David Michael Roodman                             July 19, 1931 - October 25, 2014