Academic Haiku

Jim Gibbon is holding a contest to see who can best describe a piece of academic research in the form of a haiku. You'll need to hurry though, because the deadline for submission is the 21st. (Hat tip to OmniBrain.)

My own submission is as follows:

There exist problems
intractable to decide
yet easy to check

For those of you who don't immediately recognize what that's describing, let's say it's for a yet-to-be-written paper entitled, "On an open problem of Cook".