A joking; concise wit; wit that consists in a trope or verbal figure, in a metaphorical sense of words, or in a double sense of the same word, or in similitude of sound in different words.