Fixed and improved the high-level introduction.