Pun not intended. Actually it is. Merriam-Webster defines a pun as “the usually humorous use of a word in such a way as to suggest […]