exact sequences