22.3.3 The inner product