rewrites on the introduction