cohomology: binary additivity