insuperable cohomology