Lesson in Logic 13: Summary of Intro Unit