Songs and lyrics by Tom Lehrer, freed into the public domain.