This is how I learn that Tom Lehrer has died, he was a gem. May he rest well knowing his music brought pleasure and laughter to many folks across different generations.