Yes, it&#x27;s this pun. I did not intend it as a pun, but then I read what I&#x27;d written and chuckled. I thought I myself would miss it when reading someone else&#x27;s article (I&#x27;d read with less of a critical eye for form), so I made sure to mark it.