This will be a very short talk to the intro logic students at the University of Oslo. Slides here.