That's actually a very simple one. Just run a regex on "P != NP" to remove the "!" and you're good to go.
IMO, while I really don't come to HN to find dial-a-joke, or joke-of-the-day, I think some humor is essential in modern life.
Since we're talking about Matt Keeter, you will find he has a great sense of humor if you read his website or interact with him. Some of his jokes are ROTFL funny, but subtle.
I did have a nice half round of golf today with my wife. What a beautiful day to spend with such a wonderful person!
I'm out.