(Lesson ID 7245) Objectivist Logic: Class 3.1