Hey, Dr. Bill, that was Gershwin. Or did Lehrer do a parody?