Ned Jacob (1938-2025)