Intersection_theory loading ...