Email Record: Partial inner product spaces :