Introduction after some revisions.