Wit and puns aren’t just decor in the mind; they’re essential signs that the mind knows it’s on, recognizes its own software, can spot the bugs in its own program.