revisions, tighter statements and some formatting