[kazinator]

Right; so you're bothered by the fact that there are substitutions of x which make true the proposition ∃x:not(sells(Amazon, x)). These are counterexamples to their outrageously false marketing claim ∀x:sells(Amazon, x).

To what extent would you say this eating you alive?

(BTW: that marketing claim comes from the "Everything"; a collection which is "biggest" isn't necessarily exhaustive; just bigger than others.)

[jtefera]

Did you just learn a little bit of logic and feel the urge to parade it everywhere? Heck, it just made your phrase longer, didn't provide anything useful that couldn't be said in plain English and marginalized anyone who doesn't know those symbols.

[kazinator]

Whoosh ...

[bubblesorting]

Not all of us have a strong grasp of logic theory, although we probably would be much better off if we did. Mind dumbing it down for your audience?