added spectral sequences