markdown edits to Introduction