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.