Existence is not a predicate. Therefore, nothing exists necessarily. Errata: At 4:10, the first line should say "if and only if."
No download links available.
