Thank for this. I forgot about Tom Lehrer. My favorite song, if its possible to have just one favorite is Lobachevsky.