A first version of introduction with some fixes to style