RIP Ray Shulman 1949-2023