Some days I wouldn’t mind having a Tom Lehrer song as an ear worm. A bit grim today, though…