Special_orthogonal_Lie_algebra loading ...