Real_projective_plane loading ...