The Pairing Rule
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
Universal quantifiers take ⊃; existential quantifiers take ·.
Show
(x)(Sx · Px) says everything is both S and P — far too strong. (∃x)(Sx ⊃ Px) is true if anything at all fails to be S — far too weak.
Watch for
Both mispairings produce well-formed nonsense: grammatical, meaningful, and never what you meant.