A play upon words; a figure by which the same word is
   used in different senses, or words similar in sound are set in
   opposition to each other, so as to give antithetical force to the
   sentence; punning.