If you hate puns, this is your cue to leave. Or stay and suffer. We’re fine either way.