Anthony Ogus (1945-2026)