Finite_intersection_property loading ...