This is different from "Has Opportunity: False" because I was just informed by support that if you select "Has Opportunity: False" and then select any sub-filters it becomes illogical and rules itself out of smart lists.
"Not Has Opportunity" would allow us to select stage, etc. in order to find someone who "does not have an opportunity in x stage," for example. In essence, get rid of "True/False" and make it into two separate filters.
.png)