I’ve just heard that Tom Lehrer passed away on July 26, 2025. For those of you who know who he is, you understand that we have lost probably the best comedic songwriter of the 20th…