Large repetition at the end; small typos