Not a pun
PUN
Noun
1.
a joke exploiting the different possible meanings of a word or the fact that there are words that sound alike but have different meanings.
"the pigs were a squeal (if you'll forgive the pun)"
synonyms: play on words, wordplay, double entendre, innuendo, witticism, quip,bon mot More
Verb
1.
make a joke exploiting the different possible meanings of a word.
"his first puzzle punned on composers, with answers like “Handel with care” and “Haydn go seek”"