Why are we doing this? Because there are some neat theorems to be proved at the end of this course.