Projective_symplectic_group loading ...