Revised introduction.