I know I'm a bit late to the news, but I just read that Tony Hoare died.

I imagine it didn't take long to get his affairs in order.