Added more on sequences and exactness.