final version revised, with punctuation considered