Quaternionic_projective_plane loading ...