Lessons in Logic 16: Existential Import