4.5.2 Inner products including spin