yeah that was a dumb pun