Comments added. Close to final version.