Comment by layer8

What can be confusing is that the statement "for every x in {}, it doesn’t hold that <anything>" is always true as well.