Noah Webster
Pun
PUN, noun An expression in which a word has at once different meanings; an expression in which two different applications of a word present an odd or ludicrous idea; a kind of quibble or equivocation; a low species of wit. Thus a man who had a tall wife named Experience, observed that he had, by long experience, proved the blessings of a married life.
A pun can be no more engraven, than it can be translated.
PUN, verb intransitive To quibble; to use the same word at once in different senses.
PUN, verb transitive To persuade by a pun