Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions