Draft talk:Nadel vanishing theorem