We give some more applications and then start going through the details of Alan's proof. It is not necessary to have attended my previous talk in order to understand this one.