Projective_dimension loading ...