Finite_projective_plane loading ...