for John Karl Gross
(1919-2011)