pun vs witty remark

pun

verb
  • To make or tell a pun; to make a play on words. 

  • To beat; strike with force; to ram; to pound, as in a mortar; reduce to powder, to pulverize. 

noun
  • A joke or type of wordplay in which similar definitions or sounds of two words or phrases, or different definitions of the same word, are deliberately confused. 

witty remark

How often have the words pun and witty remark occurred in a corpus of books? (source: Google Ngram Viewer )