Logic Lecture, Part 4: Finding the Form