I consider puns to be about the lowest form of comedy. There’s no clever hidden pun there. That’s just how I feel.