Tom Lehrer, Performer of Lobachevsky, New Math, and Alma, Goes to Valhalla