Terrible news. I think this is the first time I’ve been genuinely upset about the passing of someone I knew only from their public life and work. He seemed like such a great guy.