Grothendieck_space loading ...