Forgive me if I'm wrong, but shouldn't the NOT operator be omitted from the logical explanation of the translation from INTERSECT to EXISTS on the top of this page. It looks like perhaps the example was copied and pasted directly from the EXCEPT to EXISTS section just preceding it.