We'll need at least some coverage for "x NOT IN (...)".