cohomology: untruncated exactness axiom