So what is a Pun?
The pun, also called paronomasia, is a form of word play that suggests two or more meanings, by exploiting multiple meanings of words, or of similar-sounding words, for an intended humorous or rhetorical effect.
P.S: I should've made this before I even started this book anyway.