Lengths and dot products