Rough editing of the introduction