Is this even a pun? Or just a bad joke: