Added the definition of the inner product on S.