Introduction rewritten according to new outline + other improvements