Cohomology_with_compact_support loading ...