Lessons in Logic 14: Intro to Categorical Propositions