A dot product