Nullary_intersection loading ...