added actual user query with NOT to boolean spec; refactored spec a bit