Projective_variety loading ...