Yes---Westar--those were the words, but Lehrer's title was just a Christmas Carol. On his recording he led into it with an intro which explained all the things that come later.