Fixes and rewriting to introduction.