No pun intended
Why are we so often concerned with whether our puns are intended?
Maybe we intend to make a pun. Maybe not.
But if we’re not joking around, let’s guide others toward being concerned with the real intention behind our words.
That intention is what’s most important.