Cohomology_ring loading ...